bitkeeper revision 1.1159.1.479 (41c07654rvhrbSCSdKV1f18P_UminA)

sync w/ head.

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 67b4e652c9ce41df53f37b2c37e22229628f9bc2..04b3e1269549f1d51f46456c1765501b1c3ffa6b 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -235,6 +235,7 @@ void arch_do_createdomain(struct exec_domain *ed)
         memset(d->mm_perdomain_pt, 0, PAGE_SIZE);
         machine_to_phys_mapping[virt_to_phys(d->mm_perdomain_pt) >> 
                                PAGE_SHIFT] = INVALID_P2M_ENTRY;
+        ed->mm.perdomain_ptes = d->mm_perdomain_pt;
     }
 }
 

diff --git a/xen/common/domain.c b/xen/common/domain.c
index 82963c4c6b425922d7d6f2d2a66c52e63129f11e..f21f0d85df11806d40c4f649abf07950b5ca6844 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -336,6 +336,7 @@ long do_boot_vcpu(unsigned long vcpu, full_execution_context_t *ctxt)
     memcpy(&ed->thread, &idle0_exec_domain.thread, sizeof(ed->thread));
 
     /* arch_do_createdomain */
+    ed->thread.schedule_tail = d->exec_domain[0]->thread.schedule_tail;
     ed->mm.perdomain_ptes = d->mm_perdomain_pt + (ed->eid << PDPT_VCPU_SHIFT);
 
     sched_add_domain(ed);